f2f+Wait(${\it f2f+}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(${\it f2f+}$.2.2).1